A linear-time–branching-time spectrum for behavioral specification theories
نویسندگان
چکیده
منابع مشابه
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories
We propose behavioral specification theories for most equivalences in the linear-time–branching-time spectrum. Almost all previous work on specification theories focuses on bisimilarity, but there is a clear interest in specification theories for other preorders and equivalences. We show that specification theories for preorders cannot exist and develop a general scheme which allows us to defin...
متن کاملRevisiting Timed Specification Theories: A Linear-Time Perspective
We consider the setting of component-based design for realtime systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory for timed automata with I/O distinction, which supports substitutive refinement. Our theory provides the operations of parallel composition for composing components at run-time, logical conjunction/disjunction for ind...
متن کاملThe Quantitative Linear-Time--Branching-Time Spectrum
We present a distance-agnostic approach to quantitative verification. Taking as input an unspecified distance on system traces, or executions, we develop a game-based framework which allows us to define a spectrum of different interesting system distances corresponding to the given trace distance. Thus we extend the classic linear-time–branching-time spectrum to a quantitative setting, parametr...
متن کاملA Comparative Analysis of Behavioral Theories towards Farmers’ Water Conservation
According to experts, the inefficient agricultural sector has a dominant role in degrading water resources all over the world. Farmers’ conservational behavior is an important aspect of new integrated water management studies. Relevantly, various behavioral theories have been proposed in the field of environmental psychology. The main objective of the present comparative analysis and review stu...
متن کاملTowards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum
Process algebra, e.g. CSP, offers different semantical observations (e.g. traces, failures, divergences) on a single syntactical system description. These observations are either computed algebraically from the process syntax, or “extracted” from a single operational model. Bialgebras capture both approaches in one framework and characterize their equivalence; however, due to use of finality, l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2020
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2019.100499